/* Sticky jump menu container */
#jump-menu-container {
    position: sticky;
    top: 48px;
    z-index: 1000;
    background-color: var(--background, #fff);
    padding: 5px;
    color: black;
}

/* Dropdown styling */
#jumpMenu {
    width: 100%;
    height: 36px;
    font-size: 15px;
    padding: 4px 10px;
    border-radius: 4px;
    border: 1px solid #aaa;
    background-color: inherit;
    color: inherit;
    cursor: pointer;
}

/* Remove ugly focus outline and keep it clean */
#jumpMenu:focus {
    outline: none;
    border-color: #666;
}